|
|
Low Rank Approximation
by Markovsky, Ivan.
Publication:
. X, 258 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Morrill, Glyn.
Publication:
. X, 293 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information, and Computation
by Libkin, Leonid.
Publication:
. X, 283 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Carette, Jacques.
Publication:
. XVI, 384 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Cellier, Peggy.
Publication:
. X, 267 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Groote, Philippe.
Publication:
. X, 290 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Fernàndez Anta, Antonio.
Publication:
. XIII, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Games on Automatic Structures
by Kaiser, Łukasz.
Publication:
. XII, 118 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Kuchen, Herbert.
Publication:
. VII, 157 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Mariño, Julio.
Publication:
. IX, 175 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|